xⁿ - 1 = ΠΦ_d(x), where the product runs over all positive divisors d of n.